duality$23182$ - определение. Что такое duality$23182$
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое duality$23182$ - определение

Jónsson-Tarski duality; Jonsson-Tarski duality; Jónsson–Tarski duality
  • Its dual Heyting algebra, the Rieger–Nishimura lattice. It is the free Heyting algebra over 1 generator.
  • The Rieger–Nishimura ladder: a 1-universal intuitionistic Kripke frame.

U-duality         
SYMMETRY OF M-THEORY COMPACTIFICATIONS THAT INCLUDES T-DUALITY AND S-DUALITY AS SUBGROUPS; THE SUPERGRAVITY THEORY U-DUALITY GROUP IS AN E-SERIES LIE GROUP, WHILE STRINGY EFFECTS BREAK IT TO A DISCRETE SUBGROUP
U-duality group
In physics, U-duality (short for unified duality)S. Mizoguchi, "On discrete U-duality in M-theory", 2000.
Matlis duality         
MATHEMATICAL THEOREM THAT, OVER A NOETHERIAN COMPLETE LOCAL RING, THE CATEGORIES OF NOETHERIAN AND ARTINIAN MODULES ARE ANTI-ISOMORPHIC
Matlis module; Macaulay duality
In algebra, Matlis duality is a duality between Artinian and Noetherian modules over a complete Noetherian local ring. In the special case when the local ring has a field mapping to the residue field it is closely related to earlier work by Francis Sowerby Macaulay on polynomial rings and is sometimes called Macaulay duality, and the general case was introduced by .
Coherent duality         
In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

Википедия

General frame

In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.